1. Categorial grammar /
پدیدآورنده: edited by Wojciech Buszkowski, Witold Marciszewski, Johan van Benthem
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Categorial grammar
رده :
P161
.
C38
1988
2. Categorial grammar
پدیدآورنده: edited by Wojech Buszkowski, witold Marciszewski, Johan van Benthem
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Categoria grammar
رده :
P
161
.
C38
1988
3. Handbook of Spatial Logics
پدیدآورنده: \ Edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,منطق ریاضی
رده :
E-Book
,
4. Handbook of logic and language
پدیدآورنده: ]edited by[ Johan van Benthem, Alice ter Meulen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Handbooks, manuals, etc ، Natural language processing )Computer science(,Handbooks, manuals, etc ، Logic, Symbolic and mathematical,Handbooks, manuals, etc ، Semantics
رده :
QA
76
.
9
.
N38H25
2011
5. Handbook of modal logic
پدیدآورنده: edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Handbooks, manuals, etc ، Modality )Logic(
رده :
BC
199
.
M6H36
2007
6. Handbook of modal logic /
پدیدآورنده: edited by Patrick Blackburn, Johan van Benthem, Frank Wolter
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Modality (Logic), Handbooks, manuals, etc
رده :
BC199
.
M6
H36
2007
7. Handbook of spatial logics
پدیدآورنده: / edited by Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.
8. Interactive logic :
پدیدآورنده: edited by Johan van Benthem, Dov Gabbay, Benedikt Löwe
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Game theory, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA269
.
I58
2007
9. Philosophy of Information
پدیدآورنده: \ Edited By Pieter Adriaans and Johan Van Benthem
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع: نظریه اطلاعات -- فلسفه
رده :
Q
360
.
P5
10. Philosophy of information
پدیدآورنده: edited by Pieter Adriaans and Johan van Benthem
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع: Philosophy ، Information theory
11. Philosophy of information
پدیدآورنده: edited by Pieter Adriaans and Johan van Benthem
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Philosophy ، Information theory
رده :
Q
360
.
P45
12. Proof, computation and agency :
پدیدآورنده: edited by Johan van Benthem, Amitabha Gupta and Rohit Parikh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
13. Readings in Formal Epistemology
پدیدآورنده: edited by Horacio Arl??-Costa, Vincent F. Hendricks, Johan van Benthem
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Knowledge, Theory of,Logic, Symbolic and mathematical,Game theory
رده :
EBOOK
,
BD
R4
161
14. Readings in Formal Epistemology :
پدیدآورنده: edited by Horacio Arló-Costa, Vincent F. Hendricks, Johan van Benthem.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Philosophy.,Game theory.,Game theory.,Knowledge, Theory of.,Logic, Symbolic and mathematical.,Mathematical theory of computation.,Mathematics-- Game Theory.,Mathematics-- Logic.,Philosophy-- Epistemology.,Philosophy.,Philosophy: epistemology & theory of knowledge.
رده :
BD143-237
15. The Logic of Time :
پدیدآورنده: by Johan Benthem.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Logic.,Philosophy (General)
16. The age of alternative logics :
پدیدآورنده: edited by Johan van Benthem ... [and others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
17. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده: edited by Johan van Benthem... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
